1. Elements de logique mathematique; theorie des modeles
پدیدآورنده: Kreisel, Georg
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
K77


2. Elements de logique mathematique)Theorie des models(
پدیدآورنده: Kreisel, Georg
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and Mathematical
رده :
QA
9
.
K7


3. Elements of mathematical logic ; model theory
پدیدآورنده: Kreisel, Georg
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematical models
رده :
QA
9
.
K772
1971


4. Modelltheorie : eine Einfuhrung in die mathematische Logik und Grundlagentheorie
پدیدآورنده: Kreisel, Georg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory
رده :
QA
9
.
K7715
1972

